Developing Black Box Specifications Through Sequence Enumeration
نویسنده
چکیده
A rigorous behavioral specification can greatly reduce risk by exposing ambiguities in requirements and making explicit otherwise tacit information. Such an external, or “black box” specification can be developed from behavioral requirements in a systematic manner through the process of sequence enumeration. This process results in an arguably complete, consistent, and traceable specification of external system behavior. Sequence abstraction provides a powerful means to manage and focus the enumeration process.
منابع مشابه
Developing a Black Box Specification in Controlled English
This paper presents a controlled natural language (PENG Processable ENGlish) and suggests a dialog-driven method for developing a Black Box specification from behavioral requirements written in that controlled language. Such a Black Box specification can be developed in an interactive and systematic way through the process of sequence enumeration. The strength of sequence enumeration is that it...
متن کاملSoftware Specification Refinement and Verification Method with I-Mathic Studio
A software design usually manifests a composition of software specifications. It consists of hierarchies of black box and white box specifications which are subject to refinement verification. Refinement verification is a modelchecking process that proves the correctness of software specifications using formal methods. Although this is a powerful tool for developing reliable and robust software...
متن کاملAssessing Test Adequacy for Black-Box Systems without Specifications
Testing a black-box system without recourse to a specification is difficult, because there is no basis for estimating how many tests will be required, or to assess how complete a given test set is. Several researchers have noted that there is a duality between these testing problems and the problem of inductive inference (learning a model of a hidden system from a given set of examples). It is ...
متن کاملAutomated Black-Box Testing with Abstract VDM Oracles
In this paper the possibilities to automate black-box testing through formal requirement specifications are explored. More precisely, the formal method VDM (Vienna Development Method) serves to demonstrate that abstract requirement models can be used as test oracles for concrete software. The automation of the resulting testing frame-work is based on modern CASE-tools that support a light-weigh...
متن کاملRefining Light-Weight Formal Specifications Validations using Black Box Testing and Code Coverage Analysis: An Electrocardiograph Application
Light-weight formal specifications are used to achieve a better understanding of the desired behavior of a system. The specification must correctly reflect the requirements that were expressed informally to the system being modeled. To validate specifications black-box testing technique had been widely used. Selecting test cases to validate the specification based only on the black-box testing ...
متن کامل